it was learned that... - German English Dictionary